Geoffroy de Lagasnerie, Logique de la création

Règles de propagation pour la création d'ontologies d'annotation de ressources

Résumé. L’annotation se distingue de l’indexation automatique par l’utilisation d’une ou plusieurs ontologies qui définissent un domaine global de référence permettant de cadrer et de normaliser les annotations effectuées, par ailleurs une ressource annotée doit l’être non pas par une liste de motsclefs, mais bien par une ou plusieurs ontologies. Malheureusement, il est peu réaliste de penser q...

Méthodologie pour la création de documents multistructurés

We present the multi-structured documents problem and offer an overview of existing solutions. We then notice that they do not consider the problem of constructing such documents. So we use our experience with philosophers who are building a digital edition of the work of Jean-Toussaint Desanti, so as to propose a methodology for construction of multi-structured documents. The latter is based o...

Un bilan interprétatif de la théorie de l’agrégation logique

The theory of judgment aggregation, or rather logical aggregation, as we conceive of it here, generalizes the theory of social choice by having the aggregation rule bear on judgments of any kind whatever, and not barely preference judgments. It derives from Kornhauser and Sager’s doctrinal paradox and Pettit’s 1Cet article développe la présentation de la théorie de l’agrégation logique faite pa...

Complexité de la réduction en logique combinatoire

a la recherche de logique

-